Damien Agut-Labordere, Claire Newton. L’économie végétale à ‘Ayn-Manâwir à l’époque perse: archéobotanique et sources démotiques

Introduction à Unicode et à l'ISO 10646

This article presents a concise overview of Unicode 3.2 and its ISO equivalent, ISO/IEC 10646. It introduces and summarizes the main features and design principles before examining the character encoding model, normalizations forms and common processes such as sorting and rendering and their relationship with Unicode. MOTS-CLÉS : Unicode, ISO/CEI 10646, formes normalisées, modèle de caractères,...

Granulome conjonctival suite à un traumatisme par épine végétale négligé: à propos d’un cas

Résumé Il est parfois difficile de détecter un corps étranger végétal intraoculaire, principalement dans les cas où l'histoire du traumatisme oculaire n'est pas claire, ou chez les patients qui consultent plusieurs mois après le traumatisme. Nous rapportons un cas rare d'un enfant de 7 ans qui s'est auto traumatisé au niveau de l'œil gauche par une épine végétale de cactus, 3 mois avant son adm...

Contribution à l’Etude et à la Conception d’Agents Virtuels . . .

In this thesis, besides the developing a bilateral automated negotiation model between agents, in incomplete information state, integrating the personality effects of human on the negotiation process and outcomes, we proposed an architecture of such agents (―buyer‖ or ―seller‖). To do so, a new offer generation approach of three adaptive families of tactics has been proposed as follows: the tim...

Contribution des sous-ensembles flous à l'aide à la décision et à l'analyse structurale

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...